因明 (abduction)
retroduction。假說形成。發想。發見
$ (T_3,p_2)\Vdash s_1
heuristic
後件肯定 (affirming the consequent) の誤謬$ \frac{P\to Q\quad Q}{P}
何故誤謬か?
理論$ Tが$ Qを含む。$ Qは何の前件も無く成り立つかもしれない
理論$ Tは$ R\to Qも含む。$ Qが成り立ったのは$ Rだからかもしれない
理論$ Tが不完全で、未知だが實際には、前件の無い$ Qや、$ R\to Qが成り立つかもしれない